Security and Safety Considerations for the DECOS Core OS
نویسندگان
چکیده
This paper presents safety and security considerations for the Core Operating System (COS) of the Encapsulated Execution Environment (EEE) developed in DECOS (Dependable Embedded Components and Systems), an integrated project within the Sixth Framework Programme of the European Commission. It is shown that security and safety is well considered in the COS and a high level of security and safety can be achieved when systems using the COS are designed properly.
منابع مشابه
Support for Modular Certification of Safety-Critical Embedded Systems in DECOS – the Generic Safety Case*
The integrated EU-project DECOS (Dependable Embedded Components and Systems) aims at developing an integrated architecture for embedded systems to reduce life-cycle costs and to increase dependability of embedded applications. To facilitate the certification process of DECOS-based applications a modular approach has been implemented which is based on the usage of generic safety cases. This mean...
متن کاملValidation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench
The integrated EU-project DECOS (Dependable Embedded Components and Systems) aims at developing an integrated architecture for embedded systems to reduce life-cycle costs and to increase dependability of embedded applications. To facilitate the certification process of DECOS-based applications, the DECOS Test Bench constitutes a framework to support Validation & Verification. By implementing a ...
متن کاملFirst ERCIM Workshop on Software - Intensive
In dependable embedded systems, currently each application function is assigned to a separate ECU (embedded control unit). Multi-tier supply chains as in automotive industry even enforce this approach to protect the IPs (Intellectual Property) of each supplier. With growing complexity of distributed systems and expanding functionality, this approach tends to become critical because of integrati...
متن کاملPlatform Modeling in Safety-Critical Embedded Systems
This paper describes a model-based development process for safety-critical embedded real-time systems that are based on the DECOS integrated architecture. The DECOS architecture guides system engineers in the development of complex embedded real-time systems by providing a framework for integrating multiple application systems within a single distributed computer system. This integration is sup...
متن کاملExperimental Evaluation of the DECOS Fault-Tolerant Communication Layer
This paper presents an experimental evaluation of the fault-tolerant communication (FTCOM) layer of the DECOS integrated architecture. The FTCOM layer implements different agreement functions that detect and mask errors sent either by one node using replicated communication channels or by redundant nodes. DECOS facilitates a move from a federated to an integrated architecture which means that n...
متن کامل